Яворская Т.л. - Математическая Логика - 3. Генценовское Исчисление Высказываний

Яворская Т.Л. - Математическая логика - 3. Генценовское исчисление высказываний

Яворская Т.Л. - Математическая логика. Часть 1 - 2. Интуиционистская логика высказываний

Секвенциальное исчисление высказываний

Руслан Погодин

Яворская Т.Л. - Математическая логика. Часть 1 - 1. Классическая логика высказываний

Яворская Т.Л. - Математическая логика - 13. Минимальная модальная логика К и другие логики

Яворская Т.Л. - Математическая логика - 15. Теория алгоритмов

Формализованное исчисление высказываний Выводы из аксиом

ИНФОРМАТИКА КОЛЛЕДЖ

Яворская Т.Л. - Математическая логика - 7. Изоморфизм и элементарная эквивалентность структур

Яворская Т.Л. - Математическая логика - 9. Выводимость в логике I порядка. Исчисление предикатов.

Яворская Т.Л. - Математическая логика - 11. Модальная логика

Лекция 3. Т.Л. Яворская. Неклассические логики

МЦМУ МИАН

Яворская Т.Л. - Математическая логика - 1. Логика высказываний

Решение задач по теме "Исчисление высказываний", часть 1

Евгений Ефремов